Journals
  Publication Years
  Keywords
Search within results Open Search
Please wait a minute...
For Selected: Toggle Thumbnails
Consistency analysis method of software design and implementation based on control flow
ZHANG Jiaqi, MU Yongmin, ZHANG Zhihua
Journal of Computer Applications    2020, 40 (10): 3025-3033.   DOI: 10.11772/j.issn.1001-9081.2020030311
Abstract241)      PDF (1635KB)(490)       Save
The current consistency detection methods of software design and implementation require a large number of template sets and are difficult to generalize. In order to solve these problems, a consistency analysis method of software design and implementation based on control flow was proposed. Firstly, the pseudocode of the design document and the source code of the program were converted into the intermediate representations with the same features, and the design feature and the implementation feature were respectively extracted from the intermediate representations. The features include the function call relationship which can reflect the system structure and the control flow information which can reflect the internal structure of the function. Then, the design feature model and the implementation feature model were respectively established according to the design feature and the implementation feature. Finally, the similarity of the feature model was measured by calculating the feature similarity, so as to obtain the consistency detection result. Experimental results show that this method can correctly detect the inconsistent function call relationship when the function call relationship realized by the software is inconsistent with the design, and can correctly detect the inconsistency of the internal structure of the function when the function call relationship realized by the software is consistent with the design, with the accuracy reached 92.85%. This method can effectively obtain the consistency detection results without any template set, and has superior generality.
Reference | Related Articles | Metrics